单子 (函数式编程) 编辑
在函数式编程中，单子是一种抽象，它允许以泛型编程方式构造程序。支持它的语言可以使用单子来抽象出程序逻辑需要的样板代码。为了达成这个目标，单子提供它们自己的数据类型，它表示一种特殊形式计算，与之在一起的有两个子程序，一个过程用来包装单子内“任何”基本类型的值，另一个过程用来复合那些输出单子值的函数。
7
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在函数式编程中，函子是受到范畴论函子启发的一种设计模式，它允许泛型编程在内部应用一个函数而不改变泛化类型的结构。函子形成了更复杂的抽象如应用式函子、单子、单子的基础。
在函数式编程中， 应用式函子，或简称应用式，是在函子和单子之间的中间结构。应用式函子允许函子式计算成为序列，但是不允许使用前面计算的结果于后续计算的定义之中。应用式函子是范畴论中具有张量强度的不严格幺半群函子的编程等价者。
菲利普·李·瓦德勒是一位美国电脑科学家，以其对编程语言设计和类型论的贡献而闻名，2003年以来担任爱丁堡大学理论计算机学讲席教授。他对函数式编程背后的理论做出了许多贡献，包括函数式编程中单子的使用、纯函数式语言Haskell的设计、和XQuery声明式查询语言等。1984年，他创建了Orwell编程语言。瓦德勒参与了向Java5.0添加泛型编程的工作。
菲利普·李·瓦德勒是一位美国电脑科学家，以其对编程语言设计和类型论的贡献而闻名，2003年以来担任爱丁堡大学理论计算机学讲席教授。他对函数式编程背后的理论做出了许多贡献，包括函数式编程中单子的使用、纯函数式语言Haskell的设计、和XQuery声明式查询语言等。1984年，他创建了Orwell编程语言。瓦德勒参与了向Java5.0添加泛型编程的工作。